Decidability of linearizabilities for relaxed data structures
نویسندگان
چکیده
منابع مشابه
investigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
Relaxed Linear References for Lock-free Data Structures
Linear references are guaranteed to be free from aliases. This is a strong property that simplifies reasoning about programs and enables powerful optimisations, but it is also a property that is too strong for many applications. Notably, lock-free algorithms, which implement protocols that ensure safe, non-blocking concurrent access to data structures, are generally not typable with linear refe...
متن کاملDecidability and Invariant Classes for Degree Structures
We present a decision procedure for the V3-theory of 3[0,0'], the Turing degrees below 0'. The two main ingredients are a new extension of embeddings result and a strengthening of the initial segments results below 0' of [Lei]. First, given any finite subuppersemilattice U ot 3[0,0'] with top element 0' and an isomorphism type V of a poset extending U consistently with its structure as an usl s...
متن کاملDecidability of MSO Theories of Tree Structures
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two steps: first, we reduce the considered problem to the problem of determining, for any Rabin tree automaton, whether it accepts a given tree; then, we exploit a suitable notion of tree equivalence to reduce (a number ...
متن کامل(Relaxed) Product Structures of Graphs and Hypergraphs
We investigate graphs and hypergraphs that have (relaxed) product structures. In the class of graphs, we discuss in detail RSP-relations, a relaxation of relations fulfilling the square property and therefore of the product relation σ, that identifies the copies of the prime factors of a graph w.r.t. the Cartesian product. For K2,3-free graphs finest RSP-relations can be computed in polynomial-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science China Information Sciences
سال: 2017
ISSN: 1674-733X,1869-1919
DOI: 10.1007/s11432-016-9062-x